Using Nondeterminism to Amplify Hardness

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Using Nondeterminism to Design Efficient Deterministic Algorithms1

In this paper we illustrate how nondeterminism can be used conveniently and effectively in designing efficient deterministic algorithms. In particular, our method gives a parameterized algorithm of running time O((5.7k)kn) for the 3-D matching problem, which significantly improves the previous algorithm by Downey et al. The algorithm can be generalized to yield an improved algorithm for the r -...

متن کامل

Introduction to Nondeterminism

The term of nondeterminism discussed in this paper is usually not included in the introductory programming courses. Secondary school students are familiar with the idea that programs have to be deterministic because they are processed by computers automatically. Later, when they come to the university, it is difficult for them to understand the concept of nondeterminism. In our opinion, the gen...

متن کامل

Using Abstraction and Nondeterminism to Plan Reaction Loops

By looping over a set of behaviors, reactive systems use repetition and feedback to deal with errors and environmental uncertainty. Their robust, fault-tolerant performance makes reactive systems desirable for executing plans. However, most planning systems cannot reason about the loops that characterize reactive systems. In this paper, we show how the structured application of abstraction and ...

متن کامل

Using Approximation Hardness to Achieve Dependable Computation

Redundancy has been utilized to achieve fault tolerant computation and to achieve reliable communication in networks of processors. These techniques can only be extended to computations solely based on functions in one input in which redundant hardware or software (servers) are used to compute intermediate and end results. However, almost all practical computation systems consist of components ...

متن کامل

Sport Informatics - Using Mobile IT to Amplify Event Audience Experience

This paper introduces how mobile IT can be used to enhance audience experience and constitute an alternative information and media resource during sport events. The place of an event is a place of large amounts of information and impressions. Today the audiences refer to journalists and speakers to get the information about the happening parallel to the actual viewing. We now see the surfacing ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: SIAM Journal on Computing

سال: 2006

ISSN: 0097-5397,1095-7111

DOI: 10.1137/s0097539705447281